Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
121	A PROBABILISTIC POLYNOMIAL-TIME PROCESS CALCULUS FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS JOHN C. MITCHELL, AJITH RAMANATHAN, ANDRE SCEDROV, AND VANESSA TEAGUE Abstract. We prove properties of a process calculus that Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:35:24 Formal methods Computability theory Lambda calculus Polynomial Π-calculus IP Process calculus Function PP Theoretical computer science Mathematics Applied mathematics
122	DRAFT A separation logic for the π -calculus Aaron Turon Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-07-20 15:14:47 Metalogic Models of computation Theoretical computer science Process calculi Denotational semantics Interpretation Π-calculus Entailment Structure Logic Mathematics Model theory
123	Why Space and Time? In the previous chapter we learned how t o extrapolate wavefields down into the earth. The process proceeded simply, since it is just a multiplication in the frequency domain by exp[ik,(w, k , ) ~ ] . Add to Reading List Source URL: sepwww.stanford.edu Language: English - Date: 2010-06-04 13:46:48 Fourier analysis Integral transforms Digital signal processing Partial differential equations Wave mechanics Wave equation Linear filter Schrödinger equation Wave Mathematical analysis Calculus Mathematics
124	Int. J. Simulation and Process Modelling, Vol. 2, Nos. 1/2, The decomposition method for one dimensional biharmonic equations Add to Reading List Source URL: repository.ksu.edu.sa Language: English - Date: 2009-12-22 04:18:17 Differential equations Numerical analysis Multivariable calculus Partial differential equation Wave equation Adomian decomposition method Biharmonic equation Spectral method Adomian Calculus Mathematical analysis Mathematics
125	A UTP semantics for Circus Marcel Oliveira1 , Ana Cavalcanti2 , and Jim Woodcock2 1 Departamento 2 Department de Inform´ Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Logic in computer science Programming language semantics Process calculi Process calculus Denotational semantics Divergence Formal methods Ease Trace Computing Theoretical computer science Software engineering
126	Online Variational Inference for the Hierarchical Dirichlet Process Chong Wang John Paisley David M. Blei Computer Science Department, Princeton University Add to Reading List Source URL: jmlr.csail.mit.edu Language: English - Date: 2011-06-30 04:29:57 Latent Dirichlet allocation Dynamic topic model Variational Bayesian methods Topic model Hidden Markov model Calculus of variations Mixture model Bayesian inference Dirichlet process Statistics Statistical natural language processing Bayesian statistics
127	Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages). Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-05 11:56:21 Process calculi Actor model Logic in computer science Robin Milner Bigraph Semantics of programming languages Computation Π-calculus Bunched logic Computer science Theoretical computer science Applied mathematics
128	In IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning, [removed]Bounds of Optimal Learning Roman V. Belavkin Abstract—Learning is considered as a dynamic process described by a trajec Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2009-04-08 13:14:23 Functional analysis Hahn–Banach theorem Vector space Convex function Distribution Mutual information Lp space Dual space Calculus of variations Mathematical analysis Mathematics Algebra
129	An Observational Theory of Imperative Concurrent Data Structures in the π-Calculus Luca Fossati Kohei Honda Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:42:39 Concurrency control Synchronization Concurrent computing Theoretical computer science Π-calculus Non-blocking algorithm Parallel computing Concurrent data structure Calculus Process calculi Computing Concurrency
130	Spatial and Behavioural types: safety, liveness and decidability Lucia Acciai and Michele Boreale Dipartimento di Sistemi e Informatica Università degli Studi di Firenze Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:33:13 Type system Model checking Calculus Applied mathematics Computer science Mathematics Process calculi Theoretical computer science Π-calculus